| 1. | Then, there are many frame languages, such as KL-ONE.
Puis, il y a beaucoup de Meta langages, comme KL-ONE. |
| 2. | One of the first general purpose frame languages was KRL.
L'un des premiers langages à cadre généraliste est KRL. |
| 3. | KL-ONE later went on to spawn several subsequent Frame languages.
KL-ONE a plus tard engendré plusieurs langages à cadre successeurs. |
| 4. | In Frame languages these same types of constraints could be handled in multiple ways.
Dans les langages par cadre ce même type de contraintes peut être géré de plusieurs manières. |
| 5. | Classification technology originally developed for Frame languages is a key enabler of the Semantic Web.
Les technologie de classification originellement développées pour les langages à cadre sont une technologie clé de son émergence,. |
| 6. | The research agenda of the Semantic Web spawned a renewed interest in automatic classification and frame languages.
Le projet de recherche du web sémantique a relancé l'intérêt pour la classification automatique et les langages à cadre. |
| 7. | The formal semantics of languages such as KL-ONE gave these frame languages a new type of automated reasoning capability known as the classifier.
La sémantique formelle des langages à la KL-ONE leur a fourni un nouveau type de raisonnement automatique appelé le classifieur. |
| 8. | Their aim was to map the Frame classes, slots, constraints, and rules in a Frame language to set theory and logic.
Ils cherchaient à faire correspondre les cadres, emplacements, les contraintes et les règles d'un langage à cadre à la logique et la théorie des ensembles. |
| 9. | KEE provided a full Frame language with multiple inheritance, slots, triggers, default values, and a rule engine that supported backward and forward chaining.
KEE fournissait un langage à cadres complet avec héritage multiple, emplacements, déclencheurs, valeurs par défaut, et un moteur de règle capable de raisonnement en chaînage avant comme arrière. |
| 10. | For the frame language camp this requirement was less critical than the desire to provide a vast array of possible tools to represent rules, constraints, and programming logic.
C'était une fonctionnalité beaucoup moins critique dans le camp des cadres que l'objectif de fournir un vaste ensemble d'outils potentiels pour représenter des contraintes, des règles et des programmes logiques. |
